🔢 lambda calculus - abnv · Scour

Lebesgue constants 🔍Type Inference

johndcook.com·6d·Hacker News·

Matrix Calculus (for ML and beyond) -- notes. 🔍ML Language

kosti.bearblog.dev·1d·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

reddit.com·15h·Substack·

Rust to C++: Implementing the Question Mark Operator 🦀Rust Macros

quarterstar.tech·16h·r/cpp·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

.me: The Identity Calculus λLambda Calculus

medium.com·3d·

apology-is-policy/hyades: Unicode/ASCII Mathematical Typesetting Engine with LaTeX Input, VSCode Integration, MCP server, and Automatic Rendering into Source Code Comments 📝Rope Editors

github.com·15h·r/commandline·

bqn-smt 🔢Algebraic Datatypes

codeberg.org·1d·Lobsters·

Functional programming is the simplest way to scale agentic development ✨Gleam

cyrusradfar.com·9h·Hacker News·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·1d·Hacker News·

My theoretical computer science notes from Epsilon Camp πPi Calculus

scottaaronson.blog·3d·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

functiondispatch.substack.com·15h·r/programming·

llm 0.30 🔍ML Language

simonwillison.net·1d·

When You Run Out of Types... 🌈Gradual Languages

buttondown.com·5d·

From Prompt to Prediction: Understanding Prefill, Decode, and the KV Cache in LLMs 🔄Subinterpreters

machinelearningmastery.com·2d·

Eliding await keyword 🔗Lexical Scoping

alwaysdeveloping.net·1d·

Introducing liter-llm: a Rust-based alternative to LiteLLM, available for 11 languages 🪆Embedded DSLs

reddit.com·3d·r/Python·

A+ 💬REPL Design

aplwiki.com·1d·Hacker News·

Donald Raab: Measuring the Startup Memory Cost for Lazy Iteration Patterns in Java 🗑️Garbage Collection

donraab.medium.com·2d·

The Kleene Star λLambda Calculus

en.wikipedia.org·5d·Hacker News·

Loading more...